1. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
2. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
3. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
4. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
5. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
6. Alfred Tarski
پدیدآورنده : \ Douglas Patterson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Tarski, Alfred, 1902-1983,ت‍ارس‍ک‍ی، آل‍ف‍رد، ۱۹۰۲ - ۱۹۸۳م.
رده :
BC
135
.
P32A4
2012
E-Book
,
7. Alfred Tarski
پدیدآورنده : Anita Burdman Feferman, Solomon Feferman,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
رده :
QA
.
T32
,
F44
29
2004
8. Alfred Tarski and the “Concept of Truth in Formalized Languages”
پدیدآورنده : \ Monika Gruber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),معنی‌شناسی (فلسفه),a04,a04,Tarski, Alfred, -- 1901-1983 -- Criticism and interpretation. ,ت‍ارس‍ک‍ی، آل‍ف‍رد، ۱۹۰۲ - ۱۹۸۳م. -- نقد و تفسیر
رده :
E-Book
,
9. Alfred Tarski and the "Concept of truth in formalized languages"
پدیدآورنده : Monika Grube,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Tarski, Alfred, 1901-1983, Criticism and interpretation,Semantics )Philosophy(,Truth,Electronic books,Electronic books., local
رده :
EBOOK
,
BD
G7
171
10. Alfred Tarski collected papers
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Collected works ، Mathematics
رده :
QA
3
.
T37
1986
11. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
12. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Alfred Tarski : life and logic
پدیدآورنده : Feferman, Anita Burdman, 7291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
رده :
QA
29
.
T32F43
14. Alfred tarski :
پدیدآورنده : D Patterson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
P39
.
D638
2014
15. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
16. Cardinal algebras
پدیدآورنده : TARSKI,ALFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGEBRA ABSTRACT
رده :
QA
226
.
T3
17. Collected papers, Selections. 6891
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics
رده :
QA
3
.
T372
1986
18. Cylindric algebras
پدیدآورنده : Henkin,Leon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Cylindric algebras
رده :
QA
9
.
H415
19. Cylindric algebras
پدیدآورنده : Henkin, Leon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Cylindric algebras
رده :
QA
9
.
H46C96
20. Cylindric algebras
پدیدآورنده : Henkin, Leon
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Cylindric algebras
رده :
QA
9
.
H415
